newtype State s a = State (s -> (a, s))